Instance Verification Kit (IVK)

spin lock @ [19786+41+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
Instance Signature: lock

The Matching Pair Graph:


Function Name
Control Flow Graph (CFG)
Events Flow Graph (EFG)
Source Correspondence
done [5417+4+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
ep0_req_complete [41284+16+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
handle_setup_packet [39504+19+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
irq_process_reset [44432+17+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
irq_process_tr_complete [42831+23+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_ep_dequeue [19515+13+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_ep_disable [14352+13+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_udc_irq [47780+10+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_udc_pullup [28758+13+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_udc_start [32109+12+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_udc_stop [33062+11+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_udc_suspend [56008+14+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
mv_udc_vbus_session [27886+19+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
nuke [31379+4+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]
stop_activity [31719+13+/linux-3.18-rc1/drivers/usb/gadget/udc/mv_udc_core.c]